1. Formal aspects of security : first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers
پدیدآورنده : Ali E. Abdallah, Peter Ryan, Steve Schneider )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2629